1. Computing in Horn Clause theories
پدیدآورنده : Padawitz, Peter, 3591-
کتابخانه: (طهران)
موضوع : ، Logic programming,، Horn clauses
رده :
QA
76
.
6
.
P327
1988
2. Computing in Horn clause theories
پدیدآورنده : Padawitz, Peter
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic programming,، Horn clauses
رده :
QA
76
.
6
.
P32
1988
3. Graph-Based Proof Procedures for Horn Clauses
پدیدآورنده : \ Stan Raatz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming,Horn clauses,برنامهنویسی منطقی
رده :
E-Book
,
